Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
931	/tmp/scitmpfigure3.eps Add to Reading List Source URL: css.csail.mit.edu Language: English - Date: 2014-12-08 14:33:01 Algorithm Mathematical logic Theoretical computer science Modal logic
932	On Forbidden Subdivision Characterization of Graph Classes Zdenˇek Dvoˇra´k Charles University, Faculty of Mathematics and Physics, Institute for Theoretical Computer Science (ITI) 1 Malostransk´e n´ Add to Reading List Source URL: iti.mff.cuni.cz Language: English - Date: 2016-02-04 05:53:37
933	Colouring Edges with many Colours in Cycles J. Neˇsetˇril1 Department of Applied Mathematics and Institute of Theoretical Computer Science (ITI) Charles University Malostransk´ e n´ Add to Reading List Source URL: iti.mff.cuni.cz Language: English - Date: 2016-02-04 05:53:38
934	On the Virtue of Succinct Proofs: Amplifying Communication Complexity Hardness to Time-Space Trade-offs in Proof Complexity [Extended Abstract] Trinh Huynh Add to Reading List Source URL: www.complexity.ethz.ch Language: English - Date: 2012-03-28 07:53:42 Theoretical computer science Computational complexity theory Mathematics Automated theorem proving Logic in computer science Rules of inference Resolution Proof complexity Conflict-Driven Clause Learning Boolean algebra Exponential time hypothesis PP
935	On Integrating Structure and Behavior Modeling with OCL Lars Hamann, Oliver Hofrichter, and Martin Gogolla University of Bremen, Computer Science Department Database Systems Group, DBremen, Germany {lhamann,hofric Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2012-12-21 03:16:59 Software engineering Unified Modeling Language Computing Theoretical computer science Object Constraint Language ECO Executable UML Postcondition State diagram Event Class diagram Finite-state machine
936	Rely-Guarantee References for Refinement Types Over Aliased Mutable Data Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,mernst,djg}@cs.washington.edu Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-11-06 23:28:44 Theoretical computer science Denotational semantics Logic in computer science Predicate Heap Linguistics
937	A Larger Decidable Semiunification Problem Brad Lushman University of Waterloo Gordon V. Cormack University of Waterloo Add to Reading List Source URL: plg.uwaterloo.ca Language: English - Date: 2007-05-04 17:04:35 Theoretical computer science Mathematical logic Logic Automated theorem proving Logic programming Logic in computer science Type theory Lambda calculus Substitution Symbol Directed acyclic graph Unification
938	Foundations of Software Technology and Theoretical Computer Science (BangaloreEditors: R. Hariharan, M. Mukund, V. Vinay; pp - Harnessing the Multicores: Nested Data Parallelism in Haskell Simon Peyton Jones1 , R Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2008-10-27 05:37:10
939	Small Graph Classes and Bounded Expansion Zdenˇek Dvoˇr´ak Institute for Theoretical Computer Science (ITI), Charles University, Malostransk´e n´amˇest´ı 25, Praha, Czech Republic, . Add to Reading List Source URL: iti.mff.cuni.cz Language: English - Date: 2016-02-04 05:53:37
940	Volume 5, Issue 28 ■ 10JUL2015 Add to Reading List Source URL: www.defenseinnovationmarketplace.mil Language: English - Date: 2015-07-10 12:08:02 Emerging technologies Physics Quantum mechanics Theoretical computer science Quantum dot Quantum computing Materials science Photonics Nanotechnology Potential applications of graphene Spin engineering

UPDATE